recursive predicate перевод

• мат. рекурсивный предикат

• recursive:    1) _мат. рекуррентный; рекурсивный Ex: recursive definition рекурсивное определение Ex: recursive function theory теория рекурсивных функций2) _тех. оборотный, способный к повторному использованию
• predicate:    1) _грам. _лог. предикат, сказуемое2) _лог. утверждение3) предикативный Ex: predicate noun предикативное существительное, существительное в роли именной части составного сказуемого4) утверждать; зая
• algebraic predicate:    мат. алгебраический предикат
• analytic predicate:    мат. аналитический предикат
• arithmetical predicate:    мат. арифметический предикат
• atomic predicate:    мат. атомный предикат
• auxiliary predicate:    мат. вспомогательный предикат
• basic predicate:    мат. базисный предикат
• binary predicate:    матем. двуместный предикат
• bounded predicate:    мат. ограниченный предикат
• complement of predicate:    мат. дополнение предиката
• complete predicate:    мат. полный предикат
• computability predicate:    мат. предикат вычислимости
• decidable predicate:    разрешимый предикат
• definable predicate:    мат. определимый предикат